Differentiable Invariants
نویسندگان
چکیده
Invariants that incrementally maintain the value of expressions under assignments to their variables are a natural abstraction to build high-level local search algorithms. But their functionalities are not sufficient to allow arbitrary expressions as constraints or objective functions as in constraint programming. Differentiable invariants bridge this expressiveness gap. A differentiable invariant maintains the value of an expression and its variable gradients, it supports differentiation to evaluate the effect of local moves. The benefits of differentiable invariants are illustrated on a number of applications which feature complex, possibly reified, expressions and whose models are essentially similar to their CP counterparts. Experimental results demonstrate their practicability.
منابع مشابه
Refined Seiberg-witten Invariants
In the past two decades, gauge theoretic methods became indispensable when considering manifolds in dimension four. Initially, research centred around the moduli spaces of Yang-Mills instantons. Simon Donaldson had introduced the instanton equations into the field. Using cohomological data of the corresponding moduli spaces, he defined invariants which could effectively distinguish differentiab...
متن کاملLifting Smooth Curves over Invariants for Representations of Compact Lie Groups, Ii
Any sufficiently often differentiable curve in the orbit space of a compact Lie group representation can be lifted to a once differentiable curve into the representation space. Smooth curves can even be lifted to a once differentiable curves which are orthogonal to the orbits.
متن کاملSpin Canonical Invariants of 4-manifolds and Algebraic Surfaces
Donaldson’s celebrated construction of polynomial invariants for 4-manifolds (see for example [D–K]) has served as a model for an enormous range of recent results and constructions relating algebraic geometry and differential topology. The short written version of Donaldson’s talk at the 1990 Arbeitstagung contained the construction of jumping instantons, and was the starting point for our cons...
متن کاملDifferentiability of the arithmetic volume function
— We introduce the positive intersection product in Arakelov geometry and prove that the arithmetic volume function is continuously differentiable. As applications, we compute the distribution function of the asymptotic measure of a Hermitian line bundle and several other arithmetic invariants. Résumé. — On introduit le produit d’intersection positive en géométrie d’Arakelov et on démontre que ...
متن کاملGeneralized Rochlin Invariants of Fixed Point Sets
The Rochlin invariant for 3-manifolds is extended to higher dimensions using a result of Ochanine. Given a semifree differentiable S-action on a closed mod 2 homology sphere M with fixed point set F , generalized Rochlin invariants are definable for both M and F , and one result of this paper states that these two invariants are equal. This yields restrictions on the types of semifree different...
متن کامل